منابع مشابه
Adequacy Criteria for Object Testing
In this report, criteria for adequacy measurement for objects in OO software are presented. Coverage criteria that address internal object structure have been developed. These criteria include coverage of direct and indirect inter-method ows in addition to internal method control ows. Results from the analysis of a commercial system developed in C++ support the theory that coverage analysis bas...
متن کاملAutomatic Testing of Operation Invariance
We present an approach to automatically generating operation invariance tests for use with Haskell’s random testing framework QuickCheck. The motivation stems from a paper by Holdermans [8] which showed how to address certain shortcomings of straightforward testing of implementations of an abstract datatype. While effective, his solution requires extra generation work from the test engineer. Al...
متن کاملTesting the Adequacy of Automated Explanations of EL Subsumptions
Ontology verbalization techniques have been introduced to automatically translate description logic (DL) axioms and derivations to natural-language texts. This way, non-expert users can be offered explanations for subsumptions derived by systems using ontologies for knowledge-representation. We address the question of the readability and understandability of explanations generated from longer c...
متن کاملA clinical appraisal of the treatment of chronic duodenal ulcer by vagotomy and gastric drainage operation.
The authors have followed up 100 patients upon whom a vagotomy plus a drainage operation was performed for chronic duodenal ulceration by one of them (H.C.E.) at King's College Hospital during the 11-year period 1948-1958.
متن کاملOn Testing the Adequacy of Stable Processes under Conditional Heteroscedasticity
We consider a recently proposed method of estimating the tail index and testing the goodness-of-fit of dependent stable processes. Through Monte Carlo simulations, we evaluate the ability of the procedure to distinguish between stable and non-stable processes in the presence of non-linear dependence and to estimate the tail index of the distribution. We then apply the test to black market East ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Surgery
سال: 1972
ISSN: 0003-4932
DOI: 10.1097/00000658-197211000-00011